∀A∈2^X(A^∘∘=A^∘)